Integrating Stochastic Message Sequence Charts into Möbius for Performance Analysis

In this paper, we propose a formalism called the Stochastic Message Sequence Chart (SMSC) and integrate it into the Möbius framework. SMSC is a stochastic extension to the Message Sequence Chart (MSC) formalism, which is a formal language to describe the communication behavior between the components of a system. Compared with MSC, SMSC is suitable for performance analysis. Such analysis is often conducted by building a stochastic model of the systems under study. We integrated the SMSC formalism into the Möbius framework to enable the use of the Möbius solvers for solving SMSC models and the multiple-formalism modeling feature, which enables the SMSC models to interact with models from other formalisms. The SMSC formalism provides an atomic formalism for the Möbius users and can be used as building blocks for larger hybrid models.